[INFO] fetching crate oxiz-nlsat 0.1.3...
[INFO] testing oxiz-nlsat-0.1.3 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate oxiz-nlsat 0.1.3 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate oxiz-nlsat 0.1.3
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-nlsat 0.1.3
[INFO] tweaked toml for crates.io crate oxiz-nlsat 0.1.3 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-nlsat 0.1.3 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-nlsat 0.1.3 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 41b2018603466ada40945d9ca2a5c679d61cbf1378f84556bc1a15dae12749c4
[INFO] running `Command { std: "docker" "start" "-a" "41b2018603466ada40945d9ca2a5c679d61cbf1378f84556bc1a15dae12749c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "41b2018603466ada40945d9ca2a5c679d61cbf1378f84556bc1a15dae12749c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "41b2018603466ada40945d9ca2a5c679d61cbf1378f84556bc1a15dae12749c4", kill_on_drop: false }`
[INFO] [stdout] 41b2018603466ada40945d9ca2a5c679d61cbf1378f84556bc1a15dae12749c4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ecddde6a4bca380808f03f8b7362c0e309b118b3e17873097829188d02e8b3f6
[INFO] running `Command { std: "docker" "start" "-a" "ecddde6a4bca380808f03f8b7362c0e309b118b3e17873097829188d02e8b3f6", kill_on_drop: false }`
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling thin-vec v0.2.14
[INFO] [stderr]    Compiling wide v1.1.1
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling bumpalo v3.19.1
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling oxiz-math v0.1.3
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling oxiz-core v0.1.3
[INFO] [stderr]    Compiling oxiz-nlsat v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 15s
[INFO] running `Command { std: "docker" "inspect" "ecddde6a4bca380808f03f8b7362c0e309b118b3e17873097829188d02e8b3f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ecddde6a4bca380808f03f8b7362c0e309b118b3e17873097829188d02e8b3f6", kill_on_drop: false }`
[INFO] [stdout] ecddde6a4bca380808f03f8b7362c0e309b118b3e17873097829188d02e8b3f6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 05bf1583fb4e7db824036f0eef37c96802d1282aec98ec7a29d2219aa6eb87ee
[INFO] running `Command { std: "docker" "start" "-a" "05bf1583fb4e7db824036f0eef37c96802d1282aec98ec7a29d2219aa6eb87ee", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling zerocopy-derive v0.8.39
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling zmij v1.0.19
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling clap_builder v4.5.57
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling clap v4.5.57
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling oxiz-math v0.1.3
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling oxiz-core v0.1.3
[INFO] [stderr]    Compiling oxiz-nlsat v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 53s
[INFO] running `Command { std: "docker" "inspect" "05bf1583fb4e7db824036f0eef37c96802d1282aec98ec7a29d2219aa6eb87ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "05bf1583fb4e7db824036f0eef37c96802d1282aec98ec7a29d2219aa6eb87ee", kill_on_drop: false }`
[INFO] [stdout] 05bf1583fb4e7db824036f0eef37c96802d1282aec98ec7a29d2219aa6eb87ee
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 2227f7f0cba73fd6010224fd5d458895d5144951c4b15d41e77426c804d00daa
[INFO] running `Command { std: "docker" "start" "-a" "2227f7f0cba73fd6010224fd5d458895d5144951c4b15d41e77426c804d00daa", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.28s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_nlsat-762ae6b5199a8681)
[INFO] [stdout] 
[INFO] [stdout] running 347 tests
[INFO] [stdout] test assignment::tests::test_assignment_arith ... ok
[INFO] [stdout] test assignment::tests::test_assignment_levels ... ok
[INFO] [stdout] test assumptions::tests::test_assumptions ... ok
[INFO] [stdout] test assumptions::tests::test_assumption_manager_new ... ok
[INFO] [stdout] test assumptions::tests::test_duplicate_assumptions ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment_clear ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment_undef ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_engine_new ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_stats ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_strengthen_clause_disabled ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_strengthen_clause_no_change ... ok
[INFO] [stdout] test bce::tests::test_bce_disabled ... ok
[INFO] [stdout] test bce::tests::test_bce_engine_new ... ok
[INFO] [stdout] test bce::tests::test_bce_stats ... ok
[INFO] [stdout] test bce::tests::test_bce_simple_blocked ... ok
[INFO] [stdout] test bce::tests::test_bce_unit_clause ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_contains ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_intersect ... ok
[INFO] [stdout] test assignment::tests::test_assignment_bool ... ok
[INFO] [stdout] test assignment::tests::test_assignment_basic ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_clear ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_empty_conflict ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_is_consistent ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_linear ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_new ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_set_bounds ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_tighten_conflict ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_tighten_lower ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_tighten_upper ... ok
[INFO] [stdout] test bve::tests::test_bve_disabled ... ok
[INFO] [stdout] test bve::tests::test_bve_engine_new ... ok
[INFO] [stdout] test bve::tests::test_bve_simple_elimination ... ok
[INFO] [stdout] test bve::tests::test_bve_stats ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_unbounded ... ok
[INFO] [stdout] test cad::tests::test_cad_decomposer_bivariate ... ok
[INFO] [stdout] test cad::tests::test_cad_decomposer_univariate ... ok
[INFO] [stdout] test bve::tests::test_bve_tautology_elimination ... ok
[INFO] [stdout] test cad::tests::test_cad_error_too_many_cells ... ok
[INFO] [stdout] test cad::tests::test_cad_lifter ... ok
[INFO] [stdout] test assignment::tests::test_assignment_feasible ... ok
[INFO] [stdout] test assumptions::tests::test_clause_tracking ... ok
[INFO] [stdout] test assumptions::tests::test_clear ... ok
[INFO] [stdout] test assumptions::tests::test_push_pop ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_empty ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_point ... ok
[INFO] [stdout] test cad::tests::test_cad_point ... ok
[INFO] [stdout] test cad::tests::test_cad_projection_basic ... ok
[INFO] [stdout] test cad::tests::test_cad_with_different_ordering_strategies ... ok
[INFO] [stdout] test cad::tests::test_sample_strategies ... ok
[INFO] [stdout] test cad::tests::test_projection_set ... ok
[INFO] [stdout] test cad::tests::test_sturm_sequence_no_roots ... ok
[INFO] [stdout] test cad::tests::test_full_projection ... ok
[INFO] [stdout] test cad_optimization::tests::test_cad_opt_config_default ... ok
[INFO] [stdout] test cad_optimization::tests::test_early_termination ... ok
[INFO] [stdout] test cad_optimization::tests::test_hong_projection_empty ... ok
[INFO] [stdout] test cad_optimization::tests::test_hong_projection_linear ... ok
[INFO] [stdout] test cad_optimization::tests::test_ordering_analyzer_brown ... ok
[INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_conflict_recording ... ok
[INFO] [stdout] test cad_optimization::tests::test_ordering_analyzer_conflict_driven ... ok
[INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_pruning ... ok
[INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_creation ... ok
[INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_sample_caching ... ok
[INFO] [stdout] test cad_optimization::tests::test_stats_tracking ... ok
[INFO] [stdout] test chrono_bt::tests::test_chrono_backtracker_new ... ok
[INFO] [stdout] test chrono_bt::tests::test_decide_backtrack_long_distance ... ok
[INFO] [stdout] test chrono_bt::tests::test_decide_backtrack_short_distance ... ok
[INFO] [stdout] test chrono_bt::tests::test_next_level_chronological ... ok
[INFO] [stdout] test chrono_bt::tests::test_next_level_non_chronological ... ok
[INFO] [stdout] test chrono_bt::tests::test_should_continue_chronological ... ok
[INFO] [stdout] test chrono_bt::tests::test_should_continue_non_chronological ... ok
[INFO] [stdout] test cad_optimization::tests::test_sample_cache ... ok
[INFO] [stdout] test cad::tests::test_sturm_sequence_quadratic ... ok
[INFO] [stdout] test cad_optimization::tests::test_recommended_ordering ... ok
[INFO] [stdout] test chrono_bt::tests::test_decide_backtrack_disabled ... ok
[INFO] [stdout] test cad::tests::test_sturm_sequence_cubic ... ok
[INFO] [stdout] test cad::tests::test_cad_with_auto_ordering ... ok
[INFO] [stdout] test clause::tests::prop_binary_clause_has_two_literals ... ok
[INFO] [stdout] test clause::tests::prop_clause_contains_its_literals ... ok
[INFO] [stdout] test clause::tests::prop_activity_bump_increases ... ok
[INFO] [stdout] test clause::tests::prop_database_preserves_count ... ok
[INFO] [stdout] test clause::tests::test_clause_basic ... ok
[INFO] [stdout] test clause::tests::prop_database_get_matches_add ... ok
[INFO] [stdout] test clause::tests::prop_clause_length_matches_literals ... ok
[INFO] [stdout] test clause::tests::prop_lbd_set_get ... ok
[INFO] [stdout] test clause::tests::test_clause_database_watches ... ok
[INFO] [stdout] test clause::tests::test_clause_unit ... ok
[INFO] [stdout] test clause::tests::test_clause_database ... ok
[INFO] [stdout] test clause_tiers::tests::test_classify_learned_clause ... ok
[INFO] [stdout] test clause_tiers::tests::test_clause_tier_priority ... ok
[INFO] [stdout] test clause_tiers::tests::test_local_queue_deletion ... ok
[INFO] [stdout] test clause_tiers::tests::test_tier_protected ... ok
[INFO] [stdout] test clause_tiers::tests::test_tier_manager_new ... ok
[INFO] [stdout] test clause_tiers::tests::test_add_remove_clause ... ok
[INFO] [stdout] test discriminant::tests::test_analyzer_new ... ok
[INFO] [stdout] test discriminant::tests::test_cache_hit ... ok
[INFO] [stdout] test discriminant::tests::test_clear ... ok
[INFO] [stdout] test discriminant::tests::test_linear_polynomial ... ok
[INFO] [stdout] test clause::tests::test_clause_database_remove ... ok
[INFO] [stdout] test clause_tiers::tests::test_classify_input_clause ... ok
[INFO] [stdout] test clause_tiers::tests::test_update_tier_promotion ... ok
[INFO] [stdout] test eval_cache::tests::test_clear ... ok
[INFO] [stdout] test eval_cache::tests::test_sign_pattern ... ok
[INFO] [stdout] test eval_cache::tests::test_value_cache_basic ... ok
[INFO] [stdout] test eval_cache::tests::test_value_cache_eviction ... ok
[INFO] [stdout] test evaluator::tests::test_evaluator_missing_var ... ok
[INFO] [stdout] test discriminant::tests::test_constant_polynomial ... ok
[INFO] [stdout] test eval_cache::tests::test_stats_hit_rate ... ok
[INFO] [stdout] test evaluator::tests::test_find_quadratic_roots_no_roots ... ok
[INFO] [stdout] test evaluator::tests::test_find_quadratic_roots ... ok
[INFO] [stdout] test evaluator::tests::test_find_quadratic_roots_one_root ... ok
[INFO] [stdout] test evaluator::tests::test_find_linear_root ... ok
[INFO] [stdout] test evaluator::tests::test_sign ... ok
[INFO] [stdout] test evaluator::tests::test_integer_sqrt ... ok
[INFO] [stdout] test evaluator::tests::test_sign_satisfies ... ok
[INFO] [stdout] test explain::tests::test_cell ... ok
[INFO] [stdout] test explain::tests::test_explanation_empty ... ok
[INFO] [stdout] test explain::tests::test_implication_graph ... ok
[INFO] [stdout] test explain::tests::test_explanation_new ... ok
[INFO] [stdout] test clause::tests::prop_unit_clause_has_one_literal ... ok
[INFO] [stdout] test eval_cache::tests::test_eval_cache_new ... ok
[INFO] [stdout] test discriminant::tests::test_cache_hit_rate ... ok
[INFO] [stdout] test evaluator::tests::test_evaluator_basic ... ok
[INFO] [stdout] test eval_cache::tests::test_pattern_cache_basic ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_disabled_preprocessing ... ok
[INFO] [stdout] test explain::tests::test_sign_condition ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_empty_system ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_inconsistent_system ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_degree_reduction ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_isolate_variable_linear ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_skip_complex_system ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_solve_linear_univariate_scaled ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_stats_tracking ... ok
[INFO] [stdout] test incremental_cad::tests::test_cache_efficiency ... ok
[INFO] [stdout] test incremental_cad::tests::test_incremental_cad_new ... ok
[INFO] [stdout] test incremental_cad::tests::test_polynomials_equal ... ok
[INFO] [stdout] test incremental_cad::tests::test_incremental_cad_push_pop_level ... ok
[INFO] [stdout] test incremental_cad::tests::test_snapshot_restore ... ok
[INFO] [stdout] test inprocessing::tests::test_inprocess_interval ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_preprocessor_creation ... ok
[INFO] [stdout] test inprocessing::tests::test_self_subsumption ... ok
[INFO] [stdout] test inprocessing::tests::test_inprocessor_new ... ok
[INFO] [stdout] test inprocessing::tests::test_self_subsumption_none ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_solve_linear_univariate_simple ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_linear_univariate ... ok
[INFO] [stdout] test inprocessing::tests::test_subsumption_basic ... ok
[INFO] [stdout] test inprocessing::tests::test_subsumption_different_literals ... ok
[INFO] [stdout] test incremental_cad::tests::test_projection_with_cache ... ok
[INFO] [stdout] test interval_set::tests::prop_intersect_empty ... ok
[INFO] [stdout] test incremental_cad::tests::test_incremental_cad_cache_stats ... ok
[INFO] [stdout] test inprocessing::tests::test_subsumption_same_size ... ok
[INFO] [stdout] test incremental_cad::tests::test_incremental_cad_add_polynomial ... ok
[INFO] [stdout] test interval_set::tests::test_complement_point_interval ... ok
[INFO] [stdout] test interval_set::tests::prop_complement_involutive ... ok
[INFO] [stdout] test interval_set::tests::test_filter_by_sign ... ok
[INFO] [stdout] test interval_set::tests::test_intersect_with_roots ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_complement ... ok
[INFO] [stdout] test interval_set::tests::test_from_constraint ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_empty ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_reals ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_intersect ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_sample ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_sign_set ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_union ... ok
[INFO] [stdout] test interval_set::tests::prop_intersect_commutative ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_union_merge ... ok
[INFO] [stdout] test lemma::tests::test_lemma_asserted_literal ... ok
[INFO] [stdout] test lemma::tests::test_lemma_stats_empty ... ok
[INFO] [stdout] test lemma::tests::test_lemma_stats_minimization ... ok
[INFO] [stdout] test lemma::tests::test_lemma_stats_record ... ok
[INFO] [stdout] test lemma::tests::test_theory_lemma_conflict ... ok
[INFO] [stdout] test lemma::tests::test_theory_lemma_propagation ... ok
[INFO] [stdout] test lookahead::tests::test_clear_scores ... ok
[INFO] [stdout] test lookahead::tests::test_detect_failed_literals ... ok
[INFO] [stdout] test lookahead::tests::test_double_lookahead ... ok
[INFO] [stdout] test lookahead::tests::test_get_score ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_engine_new ... ok
[INFO] [stdout] test lemma::tests::test_explanation_polynomial ... ok
[INFO] [stdout] test lemma::tests::test_explanation_generic ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_result ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_result_failed ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_success ... ok
[INFO] [stdout] test lookahead::tests::test_select_decision_disabled ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_config_default ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_solver_new ... ok
[INFO] [stdout] test maxsat::tests::test_soft_constraint ... ok
[INFO] [stdout] test monotonicity::tests::test_analyzer_new ... ok
[INFO] [stdout] test monotonicity::tests::test_cache_hit ... ok
[INFO] [stdout] test monotonicity::tests::test_cache_hit_rate ... ok
[INFO] [stdout] test monotonicity::tests::test_clear_cache ... ok
[INFO] [stdout] test monotonicity::tests::test_constant_polynomial ... ok
[INFO] [stdout] test interval_set::tests::prop_demorgan_intersect ... ok
[INFO] [stdout] test monotonicity::tests::test_is_increasing ... ok
[INFO] [stdout] test monotonicity::tests::test_different_variables ... ok
[INFO] [stdout] test monotonicity::tests::test_linear_increasing ... ok
[INFO] [stdout] test monotonicity::tests::test_linear_decreasing ... ok
[INFO] [stdout] test monotonicity::tests::test_stats_counting ... ok
[INFO] [stdout] test nia::tests::test_branching_strategy ... ok
[INFO] [stdout] test nia::tests::test_nia_floor_ceil ... ok
[INFO] [stdout] test nia::tests::test_nia_fractional_part ... ok
[INFO] [stdout] test nia::tests::test_nia_fractional_infeasible ... ok
[INFO] [stdout] test interval_set::tests::prop_intersect_subset ... ok
[INFO] [stdout] test nia::tests::test_nia_is_near_integer ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_failed ... ok
[INFO] [stdout] test nia::tests::test_nia_simple_integer ... ok
[INFO] [stdout] test nia::tests::test_nia_solver_new ... ok
[INFO] [stdout] test portfolio::tests::test_portfolio_config_default ... ok
[INFO] [stdout] test portfolio::tests::test_portfolio_solver_new ... ok
[INFO] [stdout] test portfolio::tests::test_shared_clause_db ... ok
[INFO] [stdout] test maxsat::tests::test_add_constraints ... ok
[INFO] [stdout] test proof::tests::test_add_input ... ok
[INFO] [stdout] test proof::tests::test_add_resolution ... ok
[INFO] [stdout] test nia::tests::test_nia_stats ... ok
[INFO] [stdout] test nia::tests::test_nia_var_types ... ok
[INFO] [stdout] test proof::tests::test_cad_reasoning ... ok
[INFO] [stdout] test proof::tests::test_proof_builder ... ok
[INFO] [stdout] test proof::tests::test_to_smtlib ... ok
[INFO] [stdout] test interval_set::tests::prop_union_commutative ... ok
[INFO] [stdout] test proof::tests::test_verify_valid_proof ... ok
[INFO] [stdout] test proof::tests::test_proof_new ... ok
[INFO] [stdout] test proof::tests::test_proof_stats ... ok
[INFO] [stdout] test proof::tests::test_theory_lemma ... ok
[INFO] [stdout] test proof::tests::test_verify_missing_premise ... ok
[INFO] [stdout] test proof::tests::test_proof_builder_disabled ... ok
[INFO] [stdout] test restart::tests::test_fixed_restart ... ok
[INFO] [stdout] test restart::tests::test_luby_sequence ... ok
[INFO] [stdout] test restart::tests::test_restart_manager_default ... ok
[INFO] [stdout] test root_hints::tests::test_cache_hit ... ok
[INFO] [stdout] test root_hints::tests::test_cache_miss ... ok
[INFO] [stdout] test root_hints::tests::test_eviction ... ok
[INFO] [stdout] test interval_set::tests::prop_union_empty_identity ... ok
[INFO] [stdout] test root_hints::tests::test_hit_rate ... ok
[INFO] [stdout] test root_hints::tests::test_cache_new ... ok
[INFO] [stdout] test root_hints::tests::test_clear ... ok
[INFO] [stdout] test root_hints::tests::test_refine_hint ... ok
[INFO] [stdout] test root_hints::tests::test_root_hint_contains ... ok
[INFO] [stdout] test root_hints::tests::test_root_hint_midpoint ... ok
[INFO] [stdout] test root_hints::tests::test_hints_limit ... ok
[INFO] [stdout] test root_hints::tests::test_root_hint_new ... ok
[INFO] [stdout] test restart::tests::test_geometric_restart ... ok
[INFO] [stdout] test restart::tests::test_glucose_restart ... ok
[INFO] [stdout] test restart::tests::test_luby_restart ... ok
[INFO] [stdout] test root_hints::tests::test_num_roots ... ok
[INFO] [stdout] test interval_set::tests::prop_union_superset ... ok
[INFO] [stdout] test simplify::tests::test_eliminate_redundant_none ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_eq ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_lt ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ineq_zero ... ok
[INFO] [stdout] test simplify::tests::test_simplify_polynomial_negative ... ok
[INFO] [stdout] test simplify::tests::test_simplify_polynomial_constant ... ok
[INFO] [stdout] test solver::tests::test_find_quadratic_roots ... ok
[INFO] [stdout] test solver::tests::test_integer_sqrt ... ok
[INFO] [stdout] test solver::tests::test_solver_circle_and_line ... ignored
[INFO] [stdout] test solver::tests::test_solver_cubic_polynomial ... ok
[INFO] [stdout] test simplify::tests::test_eliminate_redundant_duplicates ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_gt ... ok
[INFO] [stdout] test simplify::tests::test_simplify_polynomial_zero ... ok
[INFO] [stdout] test solver::tests::test_solver_add_clause ... ok
[INFO] [stdout] test root_hints::tests::test_root_hint_width ... ok
[INFO] [stdout] test root_hints::tests::test_store_and_lookup ... ok
[INFO] [stdout] test solver::tests::test_solver_linear_constraints ... ok
[INFO] [stdout] test solver::tests::test_solver_new ... ok
[INFO] [stdout] test solver::tests::test_solver_ineq_atom ... ok
[INFO] [stdout] test solver::tests::test_solver_inequality_chain ... ok
[INFO] [stdout] test solver::tests::test_solver_multiple_variables_simple ... ok
[INFO] [stdout] test solver::tests::test_find_linear_root ... ok
[INFO] [stdout] test solver::tests::test_solver_quadratic_sat ... ok
[INFO] [stdout] test solver::tests::test_solver_new_vars ... ok
[INFO] [stdout] test solver::tests::test_solver_simple_sat ... ok
[INFO] [stdout] test solver::tests::test_solver_unsat_core ... ok
[INFO] [stdout] test solver::tests::test_solver_unsat_core_with_redundancy ... ok
[INFO] [stdout] test structure_analyzer::tests::test_independent_groups ... ok
[INFO] [stdout] test solver::tests::test_solver_unsatisfiable_bounds ... ok
[INFO] [stdout] test structure_analyzer::tests::test_analyzer_new ... ok
[INFO] [stdout] test solver::tests::test_solver_stats ... ok
[INFO] [stdout] test structure_analyzer::tests::test_quadratic_detection ... ok
[INFO] [stdout] test solver::tests::test_solver_tautology ... ok
[INFO] [stdout] test solver::tests::test_solver_unit_propagation ... ok
[INFO] [stdout] test structure_analyzer::tests::test_variable_connectivity ... ok
[INFO] [stdout] test structure_analyzer::tests::test_linear_detection ... ok
[INFO] [stdout] test solver::tests::test_solver_simple_unsat ... ok
[INFO] [stdout] test subsumption::tests::test_eliminate_subsumed ... ok
[INFO] [stdout] test subsumption::tests::test_is_subsumed_by_existing ... ok
[INFO] [stdout] test structure_analyzer::tests::test_clear ... ok
[INFO] [stdout] test structure_analyzer::tests::test_sparsity ... ok
[INFO] [stdout] test structure_analyzer::tests::test_strategy_recommendation ... ok
[INFO] [stdout] test subsumption::tests::test_find_subsumed_clauses ... ok
[INFO] [stdout] test structure_analyzer::tests::test_univariate_detection ... ok
[INFO] [stdout] test subsumption::tests::test_subsumption_checker_new ... ok
[INFO] [stdout] test subsumption::tests::test_subsumption_disabled ... ok
[INFO] [stdout] test symmetry::tests::test_asymmetric_variables ... ok
[INFO] [stdout] test subsumption::tests::test_subsumes_basic ... ok
[INFO] [stdout] test subsumption::tests::test_subsumes_no_subset ... ok
[INFO] [stdout] test symmetry::tests::test_clear ... ok
[INFO] [stdout] test subsumption::tests::test_subsumption_stats ... ok
[INFO] [stdout] test symmetry::tests::test_detector_new ... ok
[INFO] [stdout] test symmetry::tests::test_symmetric_variables ... ok
[INFO] [stdout] test symmetry::tests::test_generate_breaking_clauses ... ok
[INFO] [stdout] test symmetry::tests::test_symmetry_group_contains ... ok
[INFO] [stdout] test symmetry::tests::test_permutation ... ok
[INFO] [stdout] test symmetry::tests::test_stats ... ok
[INFO] [stdout] test theory_conflict::tests::test_decay ... ok
[INFO] [stdout] test theory_conflict::tests::test_analyze_patterns ... ok
[INFO] [stdout] test theory_conflict::tests::test_history_limit ... ok
[INFO] [stdout] test theory_conflict::tests::test_clear ... ok
[INFO] [stdout] test theory_conflict::tests::test_conflict_history ... ok
[INFO] [stdout] test theory_conflict::tests::test_score_ordering ... ok
[INFO] [stdout] test theory_conflict::tests::test_is_conflict_variable ... ok
[INFO] [stdout] test theory_conflict::tests::test_top_conflicts ... ok
[INFO] [stdout] test theory_conflict::tests::test_ranked_variables ... ok
[INFO] [stdout] test theory_conflict::tests::test_record_conflict ... ok
[INFO] [stdout] test theory_conflict::tests::test_tracker_new ... ok
[INFO] [stdout] test symmetry::tests::test_add_polynomial ... ok
[INFO] [stdout] test symmetry::tests::test_are_symmetric ... ok
[INFO] [stdout] test symmetry::tests::test_symmetry_group_new ... ok
[INFO] [stdout] test types::tests::test_atom_kind ... ok
[INFO] [stdout] test types::tests::test_lbool ... ok
[INFO] [stdout] test types::tests::test_literal ... ok
[INFO] [stdout] test types::tests::test_literal_encoding ... ok
[INFO] [stdout] test var_order::tests::test_brown_ordering ... ok
[INFO] [stdout] test var_order::tests::test_compare_all_strategies ... ok
[INFO] [stdout] test var_order::tests::test_degree_ordering ... ok
[INFO] [stdout] test var_order::tests::test_occurrence_ordering ... ok
[INFO] [stdout] test var_order::tests::test_ordering_analyzer ... ok
[INFO] [stdout] test var_order::tests::test_ordering_stats ... ok
[INFO] [stdout] test var_order::tests::test_static_ordering ... ok
[INFO] [stdout] test vivification::tests::test_is_redundant_no_tautology ... ok
[INFO] [stdout] test vivification::tests::test_is_redundant_tautology ... ok
[INFO] [stdout] test vivification::tests::test_vivifier_new ... ok
[INFO] [stdout] test vivification::tests::test_vivify_disabled ... ok
[INFO] [stdout] test vivification::tests::test_vivify_large_clause ... ok
[INFO] [stdout] test vivification::tests::test_vivify_no_change ... ok
[INFO] [stdout] test vivification::tests::test_vivify_tautology ... ok
[INFO] [stdout] test watched_literals::tests::test_add_remove_clause ... ok
[INFO] [stdout] test watched_literals::tests::test_get_watches ... ok
[INFO] [stdout] test watched_literals::tests::test_unwatch_clause ... ok
[INFO] [stdout] test watched_literals::tests::test_update_watch ... ok
[INFO] [stdout] test watched_literals::tests::test_watch_clause ... ok
[INFO] [stdout] test watched_literals::tests::test_watched_literals_new ... ok
[INFO] [stdout] test watched_literals::tests::test_watched_propagator_new ... ok
[INFO] [stdout] test types::tests::prop_literal_double_negation_is_identity ... ok
[INFO] [stdout] test types::tests::prop_lbool_truth_consistency ... ok
[INFO] [stdout] test types::tests::prop_lbool_negation_involutive ... ok
[INFO] [stdout] test types::tests::prop_literal_var_preserved_by_negation ... ok
[INFO] [stdout] test types::tests::prop_literal_index_uniqueness ... ok
[INFO] [stdout] test types::tests::prop_literal_encoding_bijective ... ok
[INFO] [stdout] test types::tests::prop_literal_positive_negative_complement ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 346 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.42s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-7e6f1c5d7d265571)
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_circle_and_line ... ignored
[INFO] [stdout] test test_cubic_polynomial ... ok
[INFO] [stdout] test test_circle_constraint ... ok
[INFO] [stdout] test test_circle_outside_point ... ok
[INFO] [stdout] test test_high_degree_polynomial ... ignored
[INFO] [stdout] test test_conjunction_via_clauses ... ok
[INFO] [stdout] test test_negated_literals ... ok
[INFO] [stdout] test test_polynomial_factorization_case ... ok
[INFO] [stdout] test test_inequality_chain ... ok
[INFO] [stdout] test test_parabola_constraints ... ok
[INFO] [stdout] test test_disjunction ... ok
[INFO] [stdout] test test_quadratic_roots ... ignored
[INFO] [stdout] test test_quadratic_inequality ... ok
[INFO] [stdout] test test_simple_linear_sat ... ok
[INFO] [stdout] test test_simple_linear_unsat ... ok
[INFO] [stdout] test test_tautology ... ok
[INFO] [stdout] test test_mixed_equalities_inequalities ... ok
[INFO] [stdout] test test_three_variables ... ok
[INFO] [stdout] test test_two_variables_sat ... ok
[INFO] [stdout] test test_two_variables_unsat ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests oxiz_nlsat
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "2227f7f0cba73fd6010224fd5d458895d5144951c4b15d41e77426c804d00daa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2227f7f0cba73fd6010224fd5d458895d5144951c4b15d41e77426c804d00daa", kill_on_drop: false }`
[INFO] [stdout] 2227f7f0cba73fd6010224fd5d458895d5144951c4b15d41e77426c804d00daa
